Решение:
Многочлен f(x) над полем K приводим, если существуют такие многочлены h(x), g(x) над тем же полем K, такие, что f(x)=h(x)∙g(x) и 0
Итак, имеем: h(x)=x+α_1, g(x)=x^3+β_1∙x^2+β_2∙x+β_3 и выполняется равенство:
x^4+x^3+x^2+x+1=(x+α_1 )∙(x^3+β_1∙x^2+β_2∙x+β_3 )=x^4+(α_1+β_1 )∙x^3+(α_1∙β_1+β_2 )∙x^2+(α_1∙β_2+β_3 )∙x+α_1∙β_3
Приравнивая коэффициенты при одинаковых степенях x, получаем следующую систему уравнений в поле F_2={0,1}:
{█(α_1+β_1=1@α_1∙β_1+β_2=1@■(α_1∙β_2+β_3=1@α_1∙β_3=1))┤;
Так как для всех неизвестных коэффициентов α_i,β_j имеется только 2 возможности: 0 или 1, то из последнего уравнения системы автоматически следует, что α_1=β_3=1. Тогда из первого уравнения системы будем иметь 1+β_1=1, откуда β_1=1-1=0. Подставляя этот результат во второе уравнение, получаем α_1∙β_1+β_2=0∙β_1+β_2=β_2=1. Тогда третье уравнение приобретает вид α_1∙β_2+β_3=1∙1+1=1, но 1∙1+1=1+1=0 в поле K=F2, получаем 0=1- противоречие. Итак, случай deg(h)=1, deg(g)=3 невозможен. Рассмотрим случай deg(h)=2, deg(g)=2, т.е. h(x)=x^2+α_1∙x+α_2, g(x)=x^2+β_1∙x+β_2 и имеет место тождество:
(x^2+α_1∙x+α_2 )∙(x^2+β_1∙x+β_2 )=x^4+x^3+x^2+x+1.
Раскрывая скобки и приравнивая коэффициенты при равных степенях х, как и ранее, получаем систему уравнений
{█(α_1+β_1=1@α_1∙β_1+α_2+β_2=1@■(α_1∙β_2+α_2∙β_1=1@α_2∙β_2=1))┤;
Из последнего уравнения α_2=β_2=1.Тогда α_2+β_2=1+1=0. Второе уравнение приобретает вид α_1∙β_1+0=α_1∙β_1=1. Тогда α_1=β_1=1. Первое уравнение приобретает вид α_1+β_1=1+1=0=1, таким образом, и во втором случае deg(h)=2, deg(g)=2 получаем противоречие. Итак, разложение f(x)=h(x)∙g(x) в пространстве полиномов над полем F2={0,1} невозможно, поэтому полином f(x)=x^4+x^3+x^2+x+1 является неприводимым.
Теория:
Теорема 1. Пусть K – расширение поля F, θ∈K- алгебраический элемент степени n над F, M – его минимальный многочлен над F. (В нашем случае F={0,1}, K=C - поле комплексных чисел,θ=ξ- корень полинома M= f(x)=x^4+x^3+x^2+x+1 с коэффициентами из F={0,1}, такой, что f(ξ)=0, полином f(x) минимальный полином для элемента ξϵС, т.е. полином минимальной степени, аннулирующий элемент ξ. Полином f(x) минимальный, т.к. в противном случае он делился бы на минимальный и не был бы минимальным)
Тогда существует изоморфизм ѱ;F[x]/(f(x)) = F16 на поле F2(ξ)- расширение поля F2 на элемент ξ, такой, что ѱ([x])=ξ.. При этом F[x]/(f(x))={[g(x)]_(f(x)) }- множество полиномов степени <=deg(f(x))-1=4-1=3 над F по модулю полинома f(x)=x^4+x^3+x^2+x+1.
